1. Computing in Horn Clause Theories
پدیدآورنده : by Peter Padawitz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
B974
1988
